The Cognitive Ontogenesis of Predicate Logic

The Cognitive Ontogenesis of Predicate Logic

Since Aristotle and the Stoa, there has been a clash, worsened by modern predicate logic, between logically defined operator meanings and natural intuitions. Pragmatics has tried to neutralize the clash by an appeal to the Gricean conversational maxims. The present study argues that the pragmatic attempt has been unsuccessful. The “softness” of the Gricean explanation fails to do justice to the...

Predicate logic

Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especi...

The Predicate-Minimizing Logic MIN

Predicate Logic with Definitions

Predicate Logic with Definitions (PLD or D-logic) is a modification of first-order logic intended mostly for practical formalization of mathematics. The main syntactic constructs of D-logic are terms, formulas and definitions. A definition is a definition of variables, a definition of constants, or a composite definition (D-logic has also abbreviation definitions called abbreviations). Definiti...

Predicate Logic Unplugged

Die vorliegende Arbeit wurde im Rahmen des Verbundvorhabens Verbmobil vom Bundes-ministerium f ur Bildung, Wissenschaft, Forschung und Technologie (BMBF) unter dem FF orderkennzeichen 01 IV 101 R geff ordert. Die Verantwortung f ur den Inhalt dieser Arbeit liegt bei dem Autor.